Concurrent Composition of Objects in Hidden Logic
نویسنده
چکیده
An operator _|_ for concurrent composition of objects specified in hidden logic is proposed and the main properties for this operator are proved.
منابع مشابه
A Hidden Manifesto
This paper describes a programme of research that aims to combine the advantages of the object and logic paradigms using`hidden algebra'. We give examples to show that this provides a foundation for specifying, constructing and verifying systems of concurrent, interacting objects.
متن کاملSpecification and Verification of Synchronizing Concurrent Objects
We introduce a new specification formalism which we call hiddenCCS; hidden algebra is used to specify local goals as objects, and CCS is used to describe global goal of the synchronizing concurrent objects. We extend the object specification with synchronization elements associated with methods of different objects, and we use a CCS coordinating module to describe the interaction patterns of me...
متن کاملTowards a High-Level Multimedia Modelling & Synchronisation Environment Based on Constraint Programming
The problem of modelling and synchronisation of multimedia objects is addressed in the declarative logic programming setting and in particular within the framework of (objectoriented) timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanis...
متن کاملInterconnection of Object Speciications
We present a very simple account of interconnections of systems of distributed , concurrent, interacting objects. We give an abstract deenition of object class speciications, and show how these may be composed into larger systems in a way that captures complex objects and parallel composition with synchronisation. The distributed autonomy of objects is one of the key concepts in object-orientat...
متن کاملBehavioral Correctness Proofs for Objects
This paper unveils and motivates an ambitious programme of hidden algebraic research in software engineering, beginning with our general goals, continuing with an overview of results, and including some future plans. The main contribution is powerful hidden coinduction techniques for proving behavioral correctness of concurrent systems; several mechanical proofs are given using OBJ3. We also sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008